Optimal. Leaf size=84 \[ -\frac {\left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{21 a x^{21}}+\frac {b \left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{126 a^2 x^{18}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 84, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.154, Rules used = {1369, 272, 47,
37} \begin {gather*} \frac {b \left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{126 a^2 x^{18}}-\frac {\left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{21 a x^{21}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 47
Rule 272
Rule 1369
Rubi steps
\begin {align*} \int \frac {\left (a^2+2 a b x^3+b^2 x^6\right )^{5/2}}{x^{22}} \, dx &=\frac {\sqrt {a^2+2 a b x^3+b^2 x^6} \int \frac {\left (a b+b^2 x^3\right )^5}{x^{22}} \, dx}{b^4 \left (a b+b^2 x^3\right )}\\ &=\frac {\sqrt {a^2+2 a b x^3+b^2 x^6} \text {Subst}\left (\int \frac {\left (a b+b^2 x\right )^5}{x^8} \, dx,x,x^3\right )}{3 b^4 \left (a b+b^2 x^3\right )}\\ &=-\frac {\left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{21 a x^{21}}-\frac {\sqrt {a^2+2 a b x^3+b^2 x^6} \text {Subst}\left (\int \frac {\left (a b+b^2 x\right )^5}{x^7} \, dx,x,x^3\right )}{21 a b^3 \left (a b+b^2 x^3\right )}\\ &=-\frac {\left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{21 a x^{21}}+\frac {b \left (a+b x^3\right )^5 \sqrt {a^2+2 a b x^3+b^2 x^6}}{126 a^2 x^{18}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 83, normalized size = 0.99 \begin {gather*} -\frac {\sqrt {\left (a+b x^3\right )^2} \left (6 a^5+35 a^4 b x^3+84 a^3 b^2 x^6+105 a^2 b^3 x^9+70 a b^4 x^{12}+21 b^5 x^{15}\right )}{126 x^{21} \left (a+b x^3\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.03, size = 80, normalized size = 0.95
method | result | size |
risch | \(\frac {\sqrt {\left (b \,x^{3}+a \right )^{2}}\, \left (-\frac {1}{21} a^{5}-\frac {5}{18} a^{4} b \,x^{3}-\frac {2}{3} b^{2} a^{3} x^{6}-\frac {5}{6} a^{2} b^{3} x^{9}-\frac {5}{9} b^{4} a \,x^{12}-\frac {1}{6} b^{5} x^{15}\right )}{\left (b \,x^{3}+a \right ) x^{21}}\) | \(79\) |
gosper | \(-\frac {\left (21 b^{5} x^{15}+70 b^{4} a \,x^{12}+105 a^{2} b^{3} x^{9}+84 b^{2} a^{3} x^{6}+35 a^{4} b \,x^{3}+6 a^{5}\right ) \left (\left (b \,x^{3}+a \right )^{2}\right )^{\frac {5}{2}}}{126 x^{21} \left (b \,x^{3}+a \right )^{5}}\) | \(80\) |
default | \(-\frac {\left (21 b^{5} x^{15}+70 b^{4} a \,x^{12}+105 a^{2} b^{3} x^{9}+84 b^{2} a^{3} x^{6}+35 a^{4} b \,x^{3}+6 a^{5}\right ) \left (\left (b \,x^{3}+a \right )^{2}\right )^{\frac {5}{2}}}{126 x^{21} \left (b \,x^{3}+a \right )^{5}}\) | \(80\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 241 vs.
\(2 (58) = 116\).
time = 0.29, size = 241, normalized size = 2.87 \begin {gather*} -\frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {5}{2}} b^{7}}{18 \, a^{7}} - \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {5}{2}} b^{6}}{18 \, a^{6} x^{3}} + \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {7}{2}} b^{5}}{18 \, a^{7} x^{6}} - \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {7}{2}} b^{4}}{18 \, a^{6} x^{9}} + \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {7}{2}} b^{3}}{18 \, a^{5} x^{12}} - \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {7}{2}} b^{2}}{18 \, a^{4} x^{15}} + \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {7}{2}} b}{18 \, a^{3} x^{18}} - \frac {{\left (b^{2} x^{6} + 2 \, a b x^{3} + a^{2}\right )}^{\frac {7}{2}}}{21 \, a^{2} x^{21}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 59, normalized size = 0.70 \begin {gather*} -\frac {21 \, b^{5} x^{15} + 70 \, a b^{4} x^{12} + 105 \, a^{2} b^{3} x^{9} + 84 \, a^{3} b^{2} x^{6} + 35 \, a^{4} b x^{3} + 6 \, a^{5}}{126 \, x^{21}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (\left (a + b x^{3}\right )^{2}\right )^{\frac {5}{2}}}{x^{22}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 4.29, size = 107, normalized size = 1.27 \begin {gather*} -\frac {21 \, b^{5} x^{15} \mathrm {sgn}\left (b x^{3} + a\right ) + 70 \, a b^{4} x^{12} \mathrm {sgn}\left (b x^{3} + a\right ) + 105 \, a^{2} b^{3} x^{9} \mathrm {sgn}\left (b x^{3} + a\right ) + 84 \, a^{3} b^{2} x^{6} \mathrm {sgn}\left (b x^{3} + a\right ) + 35 \, a^{4} b x^{3} \mathrm {sgn}\left (b x^{3} + a\right ) + 6 \, a^{5} \mathrm {sgn}\left (b x^{3} + a\right )}{126 \, x^{21}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.22, size = 231, normalized size = 2.75 \begin {gather*} -\frac {a^5\,\sqrt {a^2+2\,a\,b\,x^3+b^2\,x^6}}{21\,x^{21}\,\left (b\,x^3+a\right )}-\frac {b^5\,\sqrt {a^2+2\,a\,b\,x^3+b^2\,x^6}}{6\,x^6\,\left (b\,x^3+a\right )}-\frac {5\,a\,b^4\,\sqrt {a^2+2\,a\,b\,x^3+b^2\,x^6}}{9\,x^9\,\left (b\,x^3+a\right )}-\frac {5\,a^4\,b\,\sqrt {a^2+2\,a\,b\,x^3+b^2\,x^6}}{18\,x^{18}\,\left (b\,x^3+a\right )}-\frac {5\,a^2\,b^3\,\sqrt {a^2+2\,a\,b\,x^3+b^2\,x^6}}{6\,x^{12}\,\left (b\,x^3+a\right )}-\frac {2\,a^3\,b^2\,\sqrt {a^2+2\,a\,b\,x^3+b^2\,x^6}}{3\,x^{15}\,\left (b\,x^3+a\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________